//]]>
Unhighlight Highlight
Logics in artificial intelligence : , 12th European conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010 : proceedings /   Publication: Berlin : | New York : 2010 . xiii, 372 p. : 24 cm. Date:2010 Availability: Copies available: AUM Main Library (2),
Actions: Add to Cart
Logic, Rationality, and Interaction by Grossi, Davide. Publication: . XII, 363 p. 41 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Nature of Computation. Logic, Algorithms, Applications by Bonizzoni, Paola. Publication: . XVIII, 446 p. 42 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Typed Lambda Calculi and Applications by Hasegawa, Masahito. Publication: . XII, 251 p. 18 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Recent Trends in Algebraic Development Techniques by Martí-Oliet, Narciso. Publication: . X, 283 p. 71 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logical Foundations of Computer Science by Artemov, Sergei. Publication: . X, 415 p. 49 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Logic of Categorial Grammars by Moot, Richard. Publication: . X, 300 p. 69 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Lectures on Logic and Computation by Bezhanishvili, Nick. Publication: . VIII, 265 p. 41 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
How the World Computes by Cooper, S. Barry. Publication: . XVIII, 756p. 42 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Recent Trends in Algebraic Development Techniques by Mossakowski, Till. Publication: . X, 303 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Rationality, and Interaction by Ditmarsch, Hans. Publication: . XI, 403 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Mathematics of Language by Kanazawa, Makoto. Publication: . IV, 227p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic and Games on Automatic Structures by Kaiser, Łukasz. Publication: . XII, 118 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Models of Computation in Context by Löwe, Benedikt. Publication: . XIII, 319p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Typed Lambda Calculi and Applications by Ong, Luke. Publication: . XII, 245 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools for Teaching Logic by Blackburn, Patrick. Publication: . XI, 257p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated deduction, CADE-20 : , 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings /   Publication: Berlin : Springer, 2005 . xiii, 457 p. : 24 cm. Date:2005 Availability: Copies available: AUM Main Library (3),
Actions: Add to Cart
Languages: 
English |
العربية